• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۵۱۹ پاسخ غیر تکراری از ۵۳۱ پاسخ تکراری در مدت زمان ۰,۷۷ ثانیه یافت شد.

1. .....................

پدیدآورنده: Engeler, Erwin

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Sequential machine theory,، Recursive functions,، Formal languages

رده :
QA
267
.
5
.
S4
E53
مشاهده در قفسه مجازی RIS Bibtex ISO

2. .....................

پدیدآورنده: Yan, Song Y.

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Formal languages,، Machine theory

رده :
QA
267
.
3
.
Y36
1998
مشاهده در قفسه مجازی RIS Bibtex ISO

3. .....................

پدیدآورنده: Ginsburg, Seymour

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Formal languages

رده :
QA
267
.
3
.
G54
مشاهده در قفسه مجازی RIS Bibtex ISO

4. A Basic for theoretical computer science

پدیدآورنده: Michael A. Arbib, A.J. Kfoury, Robert N. Moll

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Machine theory,، Formal languages

رده :
QA
267
.
A517
1981
مشاهده در قفسه مجازی RIS Bibtex ISO

5. A calculus of communicating systems

پدیدآورنده: / Robin Milner

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Machine theory.,Formal languages.

رده :
QA
,
267
,.
M53
مشاهده در قفسه مجازی RIS Bibtex ISO

6. A concise introduction to languages and machines

پدیدآورنده: Parkes, Alan.

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Formal languages,، Machine theory

رده :
QA
267
.
3
.
P36
2008
مشاهده در قفسه مجازی RIS Bibtex ISO

7. A course in formal languages, automata and grops

پدیدآورنده: Ian M. Chishwell

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Formal languages,، Machine theory,، Group theory

رده :
QA
267
.
3
.
C48C6
مشاهده در قفسه مجازی RIS Bibtex ISO

8. A course in formal languages, automata and groups

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Formal languages. ; Machine theory. ; Group theory. ;

رده :
RIS Bibtex ISO

9. A course in formal languages, automata and groups

پدیدآورنده: / Ian M. Chiswell

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Formal languages,Machine theory,Group theory

رده :
E-BOOK
RIS Bibtex ISO

10. A course in formal languages, automata and groups

پدیدآورنده: / Ian Chiswell

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Formal languages.,Machine theory.,Group theory.

رده :
RIS Bibtex ISO

11. A course in formal languages, automata and groups

پدیدآورنده: Chiswell, Ian

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Formal languages,، Machine theory,، Group theory

رده :
QA
267
.
3
.
C45
2009
مشاهده در قفسه مجازی RIS Bibtex ISO

12. A descriptive approach to language-theoretic complexity

پدیدآورنده: / James Rogers

کتابخانه: کتابخانه دانشکده زبان ها و ادبیات خارجی (دانشگاه تهران) (تهران)

موضوع: Generative grammar,Formal languages

رده :
P
158
.
R58
1998
مشاهده در قفسه مجازی RIS Bibtex ISO

13. A first course informal language theory

پدیدآورنده: / V. J. Rayward-Smith

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع: Formal languages

رده :
QA267
.
3
.
R3
مشاهده در قفسه مجازی RIS Bibtex ISO

14. A programmer's introduction to computability and formal languages

پدیدآورنده: Kurki-Suonio, Reino.

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Formal languages,، Programming )Electronic computers(

رده :
QA
267
.
3
.
K87
مشاهده در قفسه مجازی RIS Bibtex ISO

15. A second course in formal languages and automata theory

پدیدآورنده: Shallit, Jeffrey Outlaw.

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Formal languages,، Machine theory

رده :
QA
267
.
3
.
S53
مشاهده در قفسه مجازی RIS Bibtex ISO

16. A second course in formal languages and automata theory

پدیدآورنده: / Jeffrey Shallit

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Formal languages,Machine theory

رده :
E-BOOK
RIS Bibtex ISO

17. <AN> Introduction to formal languages and Automata

پدیدآورنده: Peter Linz

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Formal languages

رده :
QA
267
.
3
.
L5
,
F6
مشاهده در قفسه مجازی RIS Bibtex ISO

18. <AN> introduction to formal languages and automata

پدیدآورنده: Peter Linz

کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه بیرجند (دکتر محمد حسن گنجی) (خراسان جنوبی)

موضوع: ، Formal languages,، Machine theory

رده :
QA
267
,.
3
.
L56
2001
مشاهده در قفسه مجازی RIS Bibtex ISO

19. Abstract machines and grammars

پدیدآورنده: / Walter J. Savitch. -

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Formal languages.,Machine theory.

رده :
QA
,
267
,.
S29
,
1982
مشاهده در قفسه مجازی RIS Bibtex ISO

20. Algebraic and automata-theoretic properties of formal languages

پدیدآورنده: Ginsburg, Seymour

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Formal languages

رده :
QA
267
.
3
.
G54
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 26
  • 25
  • 24
  • 23
  • 22
  • ...
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال